void init_uart();
void init_timer();
void init_vga();
void init_i8042();

void init_device() {
  init_uart();
  init_timer();
  init_vga();
  init_i8042();
}